
.dotCoverSource { white-space: pre; font-family: monospace; }

.dccv { background-color: #e3fbc9; }
.dcuc { background-color: #ffbebe; }
